由约定 ,

时, , 从而得证.